Vrije Universiteit Brussel STRAF: A Scala Framework for Experiments in Trace-Based JIT Compilation Vandercammen, Maarten; Stiévenart, Quentin; De Meuter, Wolfgang; De Roover, Coen
نویسندگان
چکیده
We introduce straf, a Scala framework for recording and optimizing execution traces of an interpreter it is composed with. For interpreters that satisfy the requirements detailed in this paper, this composition requires but a small effort from the implementer to result in a trace-based JIT compiler. We describe the framework, and illustrate its composition with a Scheme interpreter that satisfies the aforementioned requirements. We benchmark the resulting trace-based JIT compiler on a set of Scheme programs. Finally, we implement an optimization to demonstrate that straf enables further experimentation in the domain.
منابع مشابه
STRAF: A Scala Framework for Experiments in Trace-Based JIT Compilation
We introduce straf, a Scala framework for recording and optimizing execution traces of an interpreter it is composed with. For interpreters that satisfy the requirements detailed in this paper, this composition requires but a small effort from the implementer to result in a trace-based JIT compiler. We describe the framework, and illustrate its composition with a Scheme interpreter that satisfi...
متن کاملA flexible framework for studying trace-based just-in-time compilation
Just-in-time compilation has proven an effective, though effort-intensive, choice for realizing performant language runtimes. Recently introduced JIT compilation frameworks advocate applying meta-compilation techniques such as partial evaluation or meta-tracing on simple interpreters to reduce the implementation effort. However, such frameworks are few and far between. Designed and highly optim...
متن کاملMailbox Abstractions for Static Analysis of Actor Programs (Artifact)
This artifact is based on Scala-AM, a static analysis framework relying on the Abstracting Abstract Machines approach. This version of the framework is extended to support actor-based programs, written in a variant of Scheme. The sound static analysis is performed in order to verify the absence of errors in actor-based program, and to compute upper bounds on actor’s mailboxes. We developed seve...
متن کاملAbstractions for Context-aware Object References
ions for Context-aware Object References Tom Van Cutsem∗ Jessie Dedecker∗ Stijn Mostinckx† Wolfgang De Meuter Programming Technology Lab Vrije Universiteit Brussel Pleinlaan 2 1050 Brussels Belgium {tvcutsem,jededeck,smostinc,wdmeuter}@vub.ac.be
متن کاملD 2 . 1 . 3 . 1
With contributions from: Maarten Menken, Heiner Stuckenschmidt, Holger Wache (Vrije Universiteit Amsterdam) Luciano Serafini (Centro per la Ricerca Scientifica e Tecnologica, Trento) Andrei Tamilin (Università degli Studi di Trento) Mustafa Jarrar (Vrije Universiteit Brussel) Fabio Porto (Ecole Polytechnique Fédérale de Lausanne) Christine Parent (Université de Lausanne) Alan Rector, Jeff Pan (...
متن کامل